Method of Mathematical Description for Digital System Blocks Logical Models
نویسندگان
چکیده
منابع مشابه
Logical Function Decomposition Method for Synthesis of Digital Logical System Implemented with Programmable Logic Devices (PLD)
The paper consists in the use of some logical functions decomposition algorithms with application in the implementation of classical circuits like SSI, MSI and PLD. The decomposition methods use the Boolean matrix calculation. It is calculated the implementation costs emphasizing the most economical solutions. One important aspect of serial decomposition is the task of selecting “best candidate...
متن کاملBrake System Design for Sports Cars using Digital Logic Method
Brake system performance significantly affects safety, handling and vehicle dynamics. Therefore, the objective of this paper is to discuss brake system characteristics and performance and component design parameters. We perform a detailed study of a specific brake system designed for Mercedes-AMG SLC-43, considering component design parameters and operational points, and finally conduct the veh...
متن کاملA Mathematical Method for Managing the System Constraint
The goal of theory of constraints (TOC) is to maximize output, which is achieved byidentifying and managing the critically constrained resources. To manage the constraints, Goldrattproposed five focusing steps (5FS). If we increase constrained output, the output of system will beincreased. In this paper, we focus on step four of the 5FS and use the remained capacity of nonconstraintto elevate t...
متن کاملvalidation of a revised logical-mathematical intelligence scale and exploring its relationship with english language proficiency
نظریه هوش چندگانه قسمتهای متفاوت هوش بشری را مورد بررسی قرار می دهد که با شناخت آن شخص به درک بهتری از توانایی های خود میرسد و در نتیجه سعی در استفاده از آن جهت یادگیری بهتر میکند. همچنین با شناخت استعداد دانش آموزان، فرایند یادگیری بهتر میشود. هدف از انجام دادن این تحقیق بررسی رابطه بین هوش ریاضی و استعداد یادگیری زبان انگلیسی میباشد. برای انجام این تحقیق از پرسشنامه هوش ریاضی که توسط شیرر در ...
System Description: Russell - A Logical Framework for Deductive Systems
Russell is a logical framework for the specification and implementation of deductive systems. It is a high-level language with respect to Metamath language [7], so inherently it uses a Metamath foundations, i.e. it doesn’t rely on any particular formal calculus, but rather is a pure logical framework. The main difference with Metamath is in the proof language and approach to syntax: the proofs ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Problems of advanced micro- and nanoelectronic systems development
سال: 2019
ISSN: 2078-7707
DOI: 10.31114/2078-7707-2019-2-8-11